SDP Gaps and UGC Hardness for Multiway Cut, 0-Extension and Metric Labelling
نویسندگان
چکیده
The connection between integrality gaps and computational hardness of discrete optimization problems is an intriguing question. In recent years, this connection has prominently figured in several tight UGC-based hardness results. We show in this paper a direct way of turning integrality gaps into hardness results for several fundamental classification problems. Specifically, we convert linear programming integrality gaps for the Multiway Cut, 0-Extension and Metric Labeling problems into UGC-based hardness results. Qualitatively, our result suggests that if the unique games conjecture is true then a linear relaxation of the latter problems studied in several papers (so-called earthmover linear program) yields the best possible approximation. Taking this a step further, we also obtain integrality gaps for a semi-definite programming relaxation matching the integrality gaps of the earthmover linear program. Prior to this work, there was an intriguing possibility of obtaining better approximation factors for labeling problems via semi-definite programming.
منابع مشابه
Integrality Gaps for Strong SDP Relaxations of U G
With the work of Khot and Vishnoi [18] as a starting point, we obtain integrality gaps for certain strong SDP relaxations of U G. Specifically, we exhibit a U G gap instance for the basic semidefinite program strengthened by all valid linear inequalities on the inner products of up to exp(Ω(log log n)1/4) vectors. For a stronger relaxation obtained from the basic semidefinite ...
متن کاملImproved Hardness for Cut, Interdiction, and Firefighter Problems
We study variants of the classic s-t cut problem and prove the following improved hardness results assuming the Unique Games Conjecture (UGC). • For any constant k ≥ 2 and ǫ > 0, we show that Directed Multicutwith k source-sink pairs is hard to approximate within a factor k − ǫ. This matches the trivial k-approximation algorithm. By a simple reduction, our result for k = 2 implies that Directed...
متن کاملBilu-Linial Stable Instances of Max Cut and Minimum Multiway Cut
We investigate the notion of stability proposed by Bilu and Linial. We obtain an exact polynomial-time algorithm for γ-stable Max Cut instances with γ ≥ c √ logn log logn for some absolute constant c > 0. Our algorithm is robust: it never returns an incorrect answer; if the instance is γ-stable, it finds the maximum cut, otherwise, it either finds the maximum cut or certifies that the instance ...
متن کاملSDP Integrality Gaps with Local `1-Embeddability
We construct integrality gap instances for SDP relaxation of the MAXIMUM CUT and the SPARSEST CUT problems. If the triangle inequality constraints are added to the SDP, then the SDP vectors naturally define an n-point negative type metric where n is the number of vertices in the problem instance. Our gap-instances satisfy a stronger constraint that every sub-metric on t = O((log log log n) 1 6 ...
متن کاملAn Improved Integrality Gap for the Călinescu-Karloff-Rabani Relaxation for Multiway Cut
We construct an improved integrality gap instance for the Călinescu-Karloff-Rabani LP relaxation of the Multiway Cut problem. In particular, for k > 3 terminals, our instance has an integrality ratio of 6/(5+ 1 k−1 )−ε, for every constant ε > 0. For every k > 4, our result improves upon a long-standing lower bound of 8/(7 + 1 k−1 ) by Freund and Karloff [FK00]. Due to Manokaran et al.’s result ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008